proof of partial correctness - Espagnol Anglais Dictionnaire